منابع مشابه
Automated Combination of Real-Time Shader Programs
This work proposes an approach for automatic and generic runtime-combination of high-level shader programs. Many of recently introduced real-time rendering techniques rely on such programs. The fact that only a single program can be active concurrently becomes a main conceptual problem when embedding these techniques into middleware systems or 3D applications. Their implementations frequently d...
متن کاملTiming analysis of industrial real-time systems
In this papel; we describe a formal method for modelling real-time systems and a procedure tcl compu,te the model's timing characteristics automatically. We present algorithms that compute exact bounds on the delay between two spec$ed events. We also describe an algorithm to count the minimum and maximum number of times an event occurs between a given starting condition and an ending condition....
متن کاملStatic Timing Analysis of Real - Time SystemsM
The approach we propose consists in describing a real-time system with a timed extension of a synchronous language. The formal semantics of the language describes how programs can be translated into a wide class of models, usually labeled transition systems, but whose labels can range from pure boolean information to complex assignements to real-valued variables. In particular , Timed Graphs AC...
متن کاملParametric Timing Analysis for Real-Time Systems
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the s...
متن کاملReal time Symbolic Timing
Symbolic Timing Diagrams DJS95] have been introduced to increase acceptance of formal speciication methods among hardware designers. Within the FORMAT project KD96] they have been used as input language to automated veriication tools. They have proven to be very valuable for easy to understand speciications of critical system requirements. Over the past few years, quantitative (real time) timin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Engineering Journal
سال: 1994
ISSN: 0268-6961
DOI: 10.1049/sej.1994.0028